Equivalence of hybrid dynamical models

نویسندگان

  • W. P. M. H. Heemels
  • Bart De Schutter
  • Alberto Bemporad
چکیده

This paper establishes equivalences among five classes of hybrid systems: mixed logical dynamical (MLD) systems, linear complementarity (LC) systems, extended linear complementarity (ELC) systems, piecewise affine (PWA) systems, and maxmin-plus-scaling (MMPS) systems. Some of the equivalences are established under (rather mild) additional assumptions. These results are of paramount importance for transferring theoretical properties and tools from one class to another, with the consequence that for the study of a particular hybrid system that belongs to any of these classes, one can choose the most convenient hybrid modeling framework.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamic equivalence relation on the fuzzy measure algebras

The main goal of the present paper is to extend classical results from the measure theory and dynamical systems to the fuzzy subset setting. In this paper, the notion of  dynamic equivalence relation is introduced and then it is proved that this relation is an equivalence relation. Also, a new metric on the collection of all equivalence classes is introduced and it is proved that this metric is...

متن کامل

On the Equivalence of Classes of Hybrid Dynamical Models

We establish equivalences among five classes of hybrid systems, that we have encountered in previous research: mixed logical dynamical systems, linear complementarity systems, extended linear complementarity systems, piecewise affine systems, and max-min-plus-scaling systems. These results are of paramount importance for transferring properties and tools from one class to another.

متن کامل

Bisimulation relations for dynamical, control, and hybrid systems

The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous, and subsequently, hybrid systems. Inspired by the categorical framework of Joyal, Nielsen and Winskel, we develop novel notions of bisimulation equivalence for dynamical systems as well as control systems. We prove that this notion can be captured by the abstract notion of bisimulat...

متن کامل

Technical report bds : 00 - 07 Equivalence of hybrid dynamical models ∗

This paper establishes equivalences among five classes of hybrid systems: mixed logical dynamical (MLD) systems, linear complementarity (LC) systems, extended linear complementarity (ELC) systems, piecewise affine (PWA) systems, and maxmin-plus-scaling (MMPS) systems. Some of the equivalences are established under (rather mild) additional assumptions. These results are of paramount importance f...

متن کامل

Equivalence of hybrid dynamical systems

A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to characterize systems which are ‘externally equivalent’. The intuitive idea is that we only want to distinguish between two systems if the distinction can be detected by an external system interacting with these systems. This ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Automatica

دوره 37  شماره 

صفحات  -

تاریخ انتشار 2001